Embedded systems

Results: 6592



#Item
41

Motivation: Embedded Systems discrete inputs Hybrid Models for Analysis and Control Design

Add to Reading List

Source URL: cse.lab.imtlucca.it

Language: English - Date: 2014-09-16 01:41:10
    42

    Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

    Add to Reading List

    Source URL: xavierleroy.org

    Language: English - Date: 2018-08-01 14:49:25
      43

      Online Binding of Applications to Multiple Clock Domains in Shared FPGA-based Systems Farzad Samie, Lars Bauer, Chih-Ming Hsieh and J¨org Henkel Chair for Embedded Systems (CES), Karlsruhe Institute of Technology (KIT),

      Add to Reading List

      Source URL: cesweb.itec.kit.edu

      Language: English - Date: 2015-03-11 10:32:42
        44

        Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

        Add to Reading List

        Source URL: www.async.ece.utah.edu

        Language: English - Date: 2015-11-04 17:38:56
          45

          PREPRINT: "M. Hassan and H. Patel, "Criticality- and Requirement-aware Bus Arbitration for Multi-core Mixed Criticality Systems," in proceed ings of the IEEE Real-Time and Embedded Technology and Applications Symposium (

          Add to Reading List

          Source URL: caesr.uwaterloo.ca

          Language: English - Date: 2017-11-20 15:53:00
            46

            Hybrid Toolbox for Matlab Alberto Bemporad http://www.dii.unisi.it/hybrid COHES Group Control and Optimization of Hybrid and Embedded Systems

            Add to Reading List

            Source URL: cse.lab.imtlucca.it

            Language: English - Date: 2005-09-20 06:11:06
              47

              Side-Channel Analysis (SCA) – A comparative approach on smart cards, embedded systems, and high security solutions Rohde & Schwarz SIT GmbH Stuttgart/Germany

              Add to Reading List

              Source URL: www1.spms.ntu.edu.sg

              Language: English - Date: 2015-01-06 02:59:03
                48

                January 13-17, 2014 Computer Science Department, Research school ER02 Contact : Programming Embedded Systems with synchronous langages Summary

                Add to Reading List

                Source URL: laure.gonnord.org

                Language: English - Date: 2014-01-15 03:54:33
                  49

                  Dynamic Power Management using On Demand Paging for Networked Embedded Systems Yuvraj Agarwal Curt Schurgers

                  Add to Reading List

                  Source URL: www.synergylabs.org

                  Language: English - Date: 2013-01-16 02:13:39
                    50

                    PANACEA: AUTOMATING ATTACK CLASSIFICATION FOR ANOMALY-BASED NETWORK INTRUSION DETECTION SYSTEMS DAMIANO BOLZONI, SANDRO ETALLE AND PIETER HARTEL DISTRIBUTED AND EMBEDDED SECURITY GROUP TWENTE SECURITY LAB

                    Add to Reading List

                    Source URL: www.rennes.supelec.fr

                    Language: English - Date: 2009-10-01 09:50:26
                      UPDATE